#ifndef __TIMER_H
#define __TIMER_H

#include "fsl_common.h"

void timerInit(void);

void timerShutdown(void);

#endif
